, а як обчислювати значень логічних виразів, які не які є атомами? p> Для цього служать так називані таблиці істинності. Вони дозволяють обчислити значення логічного вираження, якщо відомі значення його подвираженій. Ось наприклад таблиця істинності для операції AND. tabletable border=0 cellspacing=0 cellpadding=0>
Х
У
Х AND У
Істина
Істина
Істина
Істина
Брехня
Брехня
Брехня
Істина
Брехня
Брехня
Брехня
Брехня
Вона показує, як, знаючи значення виразів Х і У, обчислити значення виразу (Х AND У).
А ось таблиці істинності для OR і NOT:
Х
У
Х OR У
Істина
Істина
Істина
Істина
Брехня
Істина
Брехня
Істина
Істина
Брехня
Брехня
Брехня
Х
NOT Х
Істина
Брехня
Брехня
Істина
Знаючи значення атомів, ви можете за допомогою цих таблиць обчислити значення будь-якого вираження, побудувавши для нього свою таблицю істинності. Як приклад побудуємо таку таблицю для вираження NOT (Х OR У)
Х
У
Х OR У
NOT (Х OR У)
Істина
Істина
Істина
Брехня
Істина
Брехня
Істина
Брехня
Брехня
Істина
Істина
Брехня
...
