Term
| De Morgan's Theorems (DE M) |
|
Definition
~(p*q) = (~p v ~q)
~(p v q) = (~p * ~q) |
|
|
Term
|
Definition
(p v q) = (q v p)
(p * q) = (q * p) |
|
|
Term
|
Definition
[p v (q v r)] = [(p v q) v r]
[p * (q * r)] = [(p * q) * r] |
|
|
Term
|
Definition
[p * (q v r)] = [(p * q) v (p * r)]
[p v (q * r)] = [(p v q) * (p v r)] |
|
|
Term
|
Definition
|
|
Term
|
Definition
|
|
Term
|
Definition
|
|
Term
| Material Implication (Impl.) |
|
Definition
|
|
Term
| Material Equivalence (equiv.) |
|
Definition
(p=q) = [(p>q) * (q>p)]
(p=q) = [(p*q) v (~p*~q)] |
|
|
Term
|
Definition
| [(p * q) > r] = [p > (q > r)] |
|
|
Term
|
Definition
|
|
