7.1 Reguloj pri vero kaj falso

Oni povas direkte uzi valorojn $\blacksquare$ (vero) kaj $\square$ (falso), kaj ankaŭ enigi aŭ forigi ilin ĉe nia derivo per simplaj reguloj.