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