Прежде всего понадобятся знания таких понятий как:
инверсия, конъюнкция, дизъюнкция, импликация и эквиваленция
• могут понадобится для упрощения выражений
формулы де Моргана:
¬ (A v B) = ¬ A ^¬ B
¬ (A ^ B) = ¬ A v ¬ B
если в выражении нет скобок, сначала выполняются все операции
«НЕ», затем – «И», затем – «ИЛИ», предпоследняя – «импликация»
и последняя - «эквиваленция»
• Следует помнить, что логическая сумма A v B v C v … равна
0 (выражение ложно) тогда и только тогда, когда все слагаемые
одновременно равны нулю, а в остальных случаях равна 1 (выражение
истинно)
• Следует помнить, что логическое произведение A ^ B ^ C
^ … равно 1 (выражение истинно) тогда и только тогда, когда
все сомножители одновременно равны единице, а в остальных
случаях равно 0 (выражение ложно)
проверяем свои умения на
построение и заполнение таблиц истинности логических выражений