1 | x | x·¬y | x·¬y·z |
(¬x + ¬y + z) Rx (x + y + z + t) (¬x + ¬y + z) Rx (x + ¬y + z) ┴ Rx (x + y + z) (x + ¬y + z) Rx (¬x + ¬y + z) ┴ Rx (¬x + z + t) (x + y + z) Rx (¬x + y + z + u) | ┴ Ry (¬y + z) ┴ Ry (z + t) (¬y + z) Ry (y + z + u) | ┴ Rz (z + t) ┴ Rz (z + u) |
|