Логические операции, также известные как логические функции или булевы функции, с двумя высказываниями могут быть описаны с помощью комбинаций значений этих высказываний. Поскольку каждое высказывание может принимать одно из двух значений (истина или ложь), то для двух высказываний существует (2^2 = 4) возможных комбинаций. Эти комбинации таковы:
- Оба высказывания истинны (1, 1)
- Первое высказывание истинно, второе ложно (1, 0)
- Первое высказывание ложно, второе истинно (0, 1)
- Оба высказывания ложны (0, 0)
Для каждой из этих комбинаций результат логической операции также может быть истинным (1) или ложным (0). Следовательно, для каждой комбинации существует 2 возможных исхода, что приводит к (2^4 = 16) возможных логических операций.
Рассмотрим подробнее некоторые из этих операций:
Константы:
- Ложь (0): результат всегда ложен, независимо от значений входных высказываний.
- Истина (1): результат всегда истинен, независимо от значений входных высказываний.
Основные логические операции:
- Конъюнкция (И, AND): результат истинен только если оба высказывания истинны.
- Дизъюнкция (ИЛИ, OR): результат истинен, если хотя бы одно из высказываний истинно.
- Исключающее ИЛИ (XOR): результат истинен, если одно из высказываний истинно, а другое ложно.
- Импликация (если.то, IMPLIES): результат ложен только если первое высказывание истинно, а второе ложно.
- Эквиваленция (равнозначность, EQUIVALENT): результат истинен, если оба высказывания имеют одинаковое значение.
Отрицание и комбинации с отрицанием:
- Отрицание первого высказывания (NOT A): результат является логическим отрицанием первого высказывания.
- Отрицание второго высказывания (NOT B): результат является логическим отрицанием второго высказывания.
- НИ (NOR): отрицание дизъюнкции. Результат ложен, если хотя бы одно из высказываний истинно.
- И-НЕ (NAND): отрицание конъюнкции. Результат ложен только если оба высказывания истинны.
Таким образом, каждая из 16 возможных операций соответствует одной из комбинаций возможных исходов для каждой из четырех комбинаций входных значений. Существует именно 16 различных логических операций с двумя высказываниями.