A ^ B ^ (¬A ^ B) ^ (A v ¬B) v C ^ ¬= A ^ B ^ [(¬A ^ B) ^ (A v ¬B)] v C ^ ¬= A ^ B ^ [¬A ^ B ^ (A v ¬B)] v C ^ ¬= A ^ B ^ [¬A ^ B] v C ^ ¬= A ^ B ^ F v C ^ ¬= F v = F
Ответ: F (ложь)
A ^ B ^ (¬A ^ B) ^ (A v ¬B) v C ^ ¬
= A ^ B ^ [(¬A ^ B) ^ (A v ¬B)] v C ^ ¬
= A ^ B ^ [¬A ^ B ^ (A v ¬B)] v C ^ ¬
= A ^ B ^ [¬A ^ B] v C ^ ¬
= A ^ B ^ F v C ^ ¬
= F v
= F
Ответ: F (ложь)