Логические действия соответствуют логическим операциям: 1.Инверсией (логическим отрицанием) высказывания А называется высказывание, которое принимает значение истины тогда и только тогда, когда А ложно и наоборот. _ А можно записать с помощью таблицы истинности ( Not A ) А __ А 1 0 0 1 2. Конъюнкцией(логическим умножением) А и В называется высказывание, принимающее значение истины тогда и только тогда, когда оба высказывания А и В одновременно истинны. А& В ( A and B ) А В А& В 0 0 0 1 0 0 0 1 0 1 1 1 3. Дизъюнкцией (логическим сложением) называется высказывание, которое принимает значение истины тогда и только тогда, когда хотя бы одно из высказываний истинно. АV В (A or B ) А В АV В 0 1 1 1 1 1 1 0 1 0 0 0 4. Импликацией (логическим следованием) называется высказывание принимаемое значение ложь тогда и только тогда, когда А истинно, а В ложно. А А В А 0 1 1 1 0 0 1 1 1 0 0 1 В В 5. Эквивалентностью (логическим равенством) называется высказывание которое принимает значение истины тогда и только тогда, когда оба высказывания А и В либо одновременно истинны, либо одновременно ложны. А В А В А 1 0 0 0 1 0 1 1 1 0 0 1 В Примечание. По силе операции в формуле располагаются в следующем порядке (по возрастанию) эквивалентность, импликация, дизъюнкция, конъюнкция, инверсия.