2.01 Составление таблицы истинности

В таблице строк.

1. Решим задачу, поняв, в каких строчках . После чего увидим строчки с Рассмотрим случай, когда В таком случае дизъюнкция будет истинной, а для истинности эквивалентности При этом может быть равен как 0, так и 1. Следовательно, в первой и пятой строчках

2. Теперь рассмотрим случай, когда Если то дизъюнкция будет ложной, а для истинности переменная должна приниамть значение 0. Следовательно, в седьмой строке Если же то дизъюнкция будет истинной, а значит, переменная должна принимать значение 1. Следовательно, в четвёртой строке Итак, всего четыре строки, в которых Это означает, что строк, в которых всего четыре.