| |
((A ∧B) ∨(C ∧D)) → ((A ∨C) ∧(B ∨C) ∧(A ∨D) ∧(B ∨D)) |
|
| |
¬ ((A ∧B) ∨(C ∧D)) ∨((A ∨C) ∧(B ∨C) ∧(A ∨D) ∧(B ∨D)) |
|
| |
(¬(A ∧B) ∧¬(C ∧D)) ∨((A ∨C) ∧(B ∨C) ∧(A ∨D) ∧(B ∨D)) |
|
| |
((¬ A ∨¬ B) ∧(¬ C ∨¬ D)) ∨((A ∨C) ∧(B ∨C) ∧(A ∨D) ∧(B ∨D)) |
|
| |
((¬ A ∧¬ C) ∨(¬ A ∧¬ D) ∨(¬ B ∧¬ C) ∨(¬ B ∧¬ D))∨ |
|
| |
((A ∨C) ∧(B ∨C) ∧(A ∨D) ∧(B ∨D)) |
|
| |
(¬ (A ∨C) ∨¬(A ∨D) ∨¬(B ∨C) ∨¬(B ∨D))∨ |
|
| |
((A ∨C) ∧(B ∨C) ∧(A ∨D) ∧(B ∨D)) |
|
| |
¬( (A ∨C) ∧(A ∨D) ∧(B ∨C) ∧(B ∨D))∨ |
|
| |
((A ∨C) ∧(B ∨C) ∧(A ∨D) ∧(B ∨D)) |
|
| | |
| |
((A ∨B) ∧(C ∨D)) → ((A ∧C) ∨(B ∧C) ∨(A ∧D) ∨(B ∧D)) |
|
| |
¬((A ∨B) ∧(C ∨D)) ∨((A ∧C) ∨(B ∧C) ∨(A ∧D) ∨(B ∧D)) |
|
| |
(¬(A ∨B) ∨¬(C ∨D)) ∨((A ∧C) ∨(B ∧C) ∨(A ∧D) ∨(B ∧D)) |
|
| |
((¬ A ∧¬ B) ∨(¬ C ∧¬ D)) ∨((A ∧C) ∨(B ∧C) ∨(A ∧D) ∨(B ∧D)) |
|
| |
((¬ A ∨¬ C)∧(¬ A ∨¬ D)∧(¬ B∨¬ C)∧(¬ B ∨¬ D)) ∨ |
|
| |
((A ∧C) ∨(B ∧C) ∨(A ∧D) ∨(B ∧D)) |
|
| |
(¬(A ∧C)∧¬(A ∧D)∧¬ (B∧C)∧¬ (B∧D)) ∨ |
|
| |
((A ∧C) ∨(B ∧C) ∨(A ∧D) ∨(B ∧D)) |
|
| |
¬((A ∧C) ∨(A ∧D)∨(B∧C) ∨(B∧D)) ∨ |
|
| |
((A ∧C) ∨(B ∧C) ∨(A ∧D) ∨(B ∧D)) |
|
| | |
|
| |
((A ∧B) ∨(¬ A ∧C)) → ((A ∧B) ∨(¬ A ∧C) ∨(B ∧C)) |
|
| |
¬((A ∧B) ∨(¬ A ∧C)) ∨((A ∧B) ∨(¬ A ∧C) ∨(B ∧C)) |
|
| |
(¬(A ∧B) ∧¬(¬ A ∧C)) ∨((A ∧B) ∨(¬ A ∧C) ∨(B ∧C)) |
|
| |
((¬ A ∨¬ B) ∧( A ∨¬ C)) ∨((A ∧B) ∨(¬ A ∧C) ∨(B ∧C)) |
|
| |
((¬ A ∧A) ∨(¬ A ∧¬ C)∨(¬ B ∧A) ∨(¬ B ∧¬ C)) ∨ |
|
| |
((A ∧B) ∨(¬ A ∧C) ∨(B ∧C)) |
|
| |
((¬ A ∧¬ C)∨(¬ B ∧A) ∨(¬ B ∧¬ C)) ∨ |
|
| |
((A ∧B) ∨(¬ A ∧C) ∨(B ∧C)) |
|
| |
((¬ C ∧(¬ A ∨¬ B)) ∨(¬ B ∧A)) ∨ |
|
| |
((A ∧B) ∨(¬ A ∧C) ∨(B ∧C)) |
|
| |
((¬ C ∨¬ B) ∧(¬ C ∨A) ∧(¬ A ∨¬ B ∨¬ B) ∧(¬ A ∨¬ B ∨A)) ∨ |
|
| |
((A ∧B) ∨(¬ A ∧C) ∨(B ∧C)) |
|
| |
((¬ C ∨¬ B) ∧(¬ C ∨A) ∧(¬ A ∨¬ B)) ∨ |
|
| |
((A ∧B) ∨(¬ A ∧C) ∨(B ∧C)) |
|
| |
(¬ (C ∧B) ∧¬(C ∧¬ A) ∧¬(A ∧B)) ∨ |
|
| |
((A ∧B) ∨(¬ A ∧C) ∨(B ∧C)) |
|
| |
¬ ((C ∧B) ∨(C ∧¬ A) ∨(A ∧B)) ∨((A ∧B) ∨(¬ A ∧C) ∨(B ∧C)) |
|
| | |
| |
((A ∨B) ∧(¬ A ∨C)) → ((A ∨B) ∧(¬ A ∨C) ∧(B ∨C)) |
|
| |
¬ ((A ∨B) ∧(¬ A ∨C)) ∨((A ∨B) ∧(¬ A ∨C) ∧(B ∨C)) |
|
| |
(¬(A ∨B) ∨¬(¬ A ∨C)) ∨((A ∨B) ∧(¬ A ∨C) ∧(B ∨C)) |
|
| |
((¬ A ∧¬ B) ∨(A ∧¬ C)) ∨((A ∨B) ∧(¬ A ∨C) ∧(B ∨C)) |
|
| |
((¬ A ∨A) ∧(¬ A ∨¬ C) ∧(¬ B ∨A) ∧(¬ B ∨¬ C)) ∨ |
|
| |
((A ∨B) ∧(¬ A ∨C) ∧(B ∨C)) |
|
| |
(((¬ A ∧¬ B) ∨¬ C) ∧(¬ B ∨A) ) ∨ |
|
| |
((A ∨B) ∧(¬ A ∨C) ∧(B ∨C)) |
|
| |
((((¬ A ∧¬ B) ∨¬ C) ∧¬ B) ∨(((¬ A ∧¬ B) ∨¬ C) ∧A) ) ∨ |
|
| |
((A ∨B) ∧(¬ A ∨C) ∧(B ∨C)) |
|
| |
((((¬ A ∧¬ B)∧¬ B) ∨(¬ C∧¬ B) ) ∨(((¬ A ∧¬ B)∧A) ∨(¬ C∧A))) ) ∨ |
|
| |
((A ∨B) ∧(¬ A ∨C) ∧(B ∨C)) |
|
| |
((¬ A ∧¬ B) ∨(¬ C∧¬ B) ∨(¬ C∧A) ) ∨ |
|
| |
((A ∨B) ∧(¬ A ∨C) ∧(B ∨C)) |
|
| |
(¬ ( A ∨B) ∨¬(C ∨B) ∨¬(C ∨¬ A) ) ∨((A ∨B) ∧(¬ A ∨C) ∧(B ∨C)) |
|
| |
¬ (( A ∨B) ∧(C ∨B) ∧(C ∨¬ A) ) ∨((A ∨B) ∧(¬ A ∨C) ∧(B ∨C)) |
|
| | |