Convert the following formula to conjunctive normal form (clause form). a)
a ≡ (b ≡ c)
is the answer
(a כ(( b כ c) ^ (c כ b))) ^ ((( b כ c) ^ (c כ b)) כ a)
unsure thanks
a ≡ (b ≡ c)
is the answer
(a כ(( b כ c) ^ (c כ b))) ^ ((( b כ c) ^ (c כ b)) כ a)
unsure thanks