Логические действия соответствуют логическим операциям: 1

advertisement
Логические действия соответствуют логическим операциям:
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
В
Примечание.
По силе операции в формуле располагаются в следующем порядке (по возрастанию)
эквивалентность, импликация, дизъюнкция, конъюнкция, инверсия.
Download