|
4. Представление таблиц истинности на множестве значений М
Рассмотрим значения таблиц истинности для высказываний А и В, заданных на одном и том же множестве М. Пусть подмножества А, В – истинны. Значение логической функции F также принадлежит множеству М.
Условные обозначения:
Штриховка на плоскости М соответствует множеству истинных значений функции (F=1).
| F=A U B (дизьюнкция) |
F=A & B (коньюнкция) |
 |
 |
| Рис.1 |
Рис.2 |
F=A  B (импликация) |
F=A  B (эквивалентность) |
 |
 |
| Рис.3 |
Рис.4 |
F= (отрицание) |
 |
| Рис.5 |
| 