Используя законы преобразования логических выражений упростите логическое выражение: F = (¬X → Y) \/ ¬(X → Y)
F = ¬((X & Y) \/ ¬Z) → ¬(X & Z)
F=¬A \/¬ B \/¬ C \/ A \/ B \/ C
A & C \/ A & C
При вводе ответа используйте следующие обозначения:
0 - ложь, 1 - истина;
буквенные символы вводить латинским алфавитом;
можно использовать скобки;
между всеми символами пробелы не ставить;
- (минус) - отрицание/инверсия;
^ (степень [Shift+6]) - коньюнкция;
+ (плюс) - дизъюнкция;
-> (минус больше) - импликация;
= (равно) - эквиваленция.