Для удобства построения таблицы истинности введем логические переменные. Обозначим 2*2=4 через a, 3*3=9 - через b. Тогда высказывание примет вид:
Для этого выражения и построим таблицу истинности.
2. Для доказательства равносильности указанных выражений можно построить таблицы истинности и сравнить их. Как видно, НЕСОВПАДЕНИЕ полное, т.е. ни при каком сочетании a и b выражения не равносильны. Это подтверждается теорией - имеются законы де-Моргана, в которых еще присутствует общее отрицание или в правой. или в левой части.
// PascalABC.NET 3.2, сборка 1353 от 27.11.2016 // Внимание! Если программа не работает, обновите версию!
begin // заполним информацию случайным образом; // если хорошистов в результате не окажется, // просто перезапускаем задачу randomize; var a:=MatrRandom(13,10,4,5); // везде только 4 и 5 for var i:=1 to 20 do // раскидаем 20 троек a[Random(13),Random(10)]:=3; a.Println(2); Writeln; // собственно, решение var k:=0; foreach var r in a.Rows do if r.All(x->x<>3) and not r.All(x->x=5) then k+=1; Writeln(k,' хорошистов') end.
1,2,3,4,5,6,7,8,9
Объяснение: