分配法(Dist). (p • (q ∨ r)) ≡ (( p • q) ∨ ( p • r)). (p ∨ (q • r)) ≡ (( p ∨ q) • ( p ∨ r)). 5.建設性的兩難式(CD).
確定! 回上一頁