Let A and B1, B2, , Bn be statement letters. Prove the
Chapter 3, Problem 69(choose chapter or problem)
Let A and B1, B2, , Bn be statement letters. Prove the finite extension of the distributive equivalences of propositional logic: A ~ (B1 ` B2 ` c` Bn) 3 (A ~ B1) ` (A ~ B2) ` c` (A ~ Bn) and A ` (B1 ~ B2 ~ c~ Bn) 3 (A ` B1) ~ (A ` B2) ~ c~ (A ` Bn) for n 2.
Unfortunately, we don't have that question answered yet. But you can get it answered in just 5 hours by Logging in or Becoming a subscriber.
Becoming a subscriber
Or look for another answer