- Иногда бывает известен лишь фрагмент таблицы истинности. По этим данным нужно выбрать из логических выражений то, которое подходит для данного фрагмента.
- Для проверки соответствия в логическое выражение подставляют строка за строкой наборы логических переменных из таблицы истинности. Те строки, при подстановке значений из которых логическое выражение истинно, являются правильным ответом.
Пример. Для фрагмента таблицы истинности логического выражения F соответствуют логические выражения дизъюнкция, исключающее или и не соответствует конъюнкция и эквиваленция.
A | B | F |
|---|---|---|
0 | 0 | 0 |
0 | 1 | 1 |
1 | 0 | 1 |