Лекция: Основы логики и логические основы компьютера

щью таблицы истинности данной функции, которая пока­зывает, какие значения принимает логическая функция при всех возможных наборах ее аргументов (табл. 3.1).

Таблица 3.1. Таблица истинности функции логического умножения

По таблице истинности легко определить истинность со­ставного высказывания, образованного с помощью операции логического умножения. Рассмотрим, например, составное высказывание «2-2 = 4иЗ-3 = 10». Первое простое выска­зывание истинно (А = 1), а второе высказывание ложно (Б = 0), по таблице определяем, что логическая функция принимает значение ложь (F — 0), то есть данное составное высказывание ложно.

Логическое сложение (дизъюнкция)

Объединение двух (или нескольких) высказываний с по­мощью союза «или» называется операцией логического сло­жения или дизъюнкцией.

5*

Составное высказывание, образованное в резуль­тате логического сложения (дизъюнкции),истин­но тогда, когда истинно хотя бы одно из входящих в него простых высказываний.

Так, из приведенных ниже четырех составных высказыва­ний, образованных с помощью операции логического сложе­ния, ложно только первое, так как в последних трех состав­ных высказываниях хотя бы одно из простых высказываний истинно:

(1) «2 • 2 = 5 или 3 • 3 = 10»,

(2) «2 • 2 = 5 или 3-3 = 9»,

(3) «2 • 2 = 4 или 3 • 3 = 10»,

(4) «2 • 2 = 4 или 3-3 = 9».