| |
(((A ∨B) → C) ∧ (C → (A ∨B)) |
|
| |
((¬ (A ∨B) ∨C) ∧ (¬ C ∨(A ∨B))) |
|
| |
(((¬ A ∧ ¬ B) ∨C) ∧ (¬ C ∨A ∨B) |
|
| |
(¬ A ∨C) ∧ (¬ B ∨C) ∧ (¬ C ∨A ∨B) KNF |
|
| |
(C ∨(¬ A ∧ ¬ B)) ∧ (¬ C ∨A ∨B) |
|
| |
(C ∧ ¬ C) ∨(C ∧ A) ∨(C ∧ B) ∨(¬ A ∧ ¬ B ∧ ¬ C) |
|
| |
∨(¬ A ∧ ¬ B ∧ A) ∨(¬ A ∧ ¬ B ∧ B) |
|
| |
(A ∧ A) ∨(C ∧ B) ∨(¬ A ∧ ¬ B ∧ ¬ C) DNF |
|