Таблицы
истинности. Пример №1
Построим таблицу истинности следующей логической функции F=(¬А ∧ В) ∨B
1. Определим количество строк нашей таблицы: Количество строк = 2n , где n-количество логических переменных (в нашем случае 2 - А и В), следовательно количество строк = 22 = 4 (4 строки у таблицы истинности).2. Определим количество строк нашей таблицы: Количество столбцов таблицы истинности = количество логических переменных + количество логических операций. Количество логических переменных – А и В =2. Количество логических операций - ∧ ¬ ∨ =3. Количество столбцов = 2+3 =5
3. Построим таблицу истинности:
|
А |
В |
¬А |
¬А ∧ В |
F=(¬А ∧ В) ∨B |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
А |
В |
¬А |
¬А ∧ В |
F=(¬А ∧ В) ∨B |
|
0 |
0 |
1 |
0 |
0 |
|
0 |
1 |
1 |
0 |
1 |
|
1 |
0 |
0 |
0 |
0 |
|
1 |
1 |
0 |
0 |
1 |
