← Notedeck 逻辑 · 逻辑等价 · 定律验证 Try in Notedeck