(x y) (¬y z) (¬x ¬y) (z u) (¬z v) (¬u ¬v) x:=true x y true (¬y z) (¬x ¬y) (z u) ¬x ¬y true (¬y z) (z u) (¬z v) (¬u ¬v) z:=true ¬z u true ¬z v true (¬u ¬v) ¬u (¬z ¬v (¬z u) u: true v: true v) (¬z v) (¬u ¬v) (¬z u) (z u) (¬z v) (¬u ¬v) (¬z u) u) (¬u z:=false ¬z u true ¬z v (¬u ¬v) z u ¬v) true u) (z (¬u y: false (z u) false (¬z true u: true ¬v) ¬u ¬v true v: false (¬z u) (¬z u) p q ¬p → q ¬q → p x p,q (x y) (¬y z) (¬x ¬y) ¬x →y ¬y → x (z u) (¬z v) ¬y ¬u (¬u ¬v) (¬z ¬z v u) ¬v z z →v ¬v → ¬z u y x ¬y ¬u x ¬z v ¬v z u ! ! y ¬x ¬x x
© Copyright 2024 ExpyDoc