← Notedeck 逻辑 · Boolean algebra · law-based simplification Try in Notedeck