Восемь школьников оставались в классе на перемене, и один из них разбил окно. На во директора, кто это сделал, были получены следующие ответы: Вадим: «Разбил Степан»! Света : «Ира разбила»! Оля: «Разбила Света». Миша: «Это кто-то с улицы»! Надя: «Да, Оля права». Коля: «Это либо Ира, либо Света»! Степан: «Ни Ира , ни Света этого не делали»! Ира: «Степан не бил»! Кто разбил окно, если известно, что из этих высказываний истинно ровно три.

Ира разбила окно считаем истинные высказывания насчёт Иры

Эдгар -

Света +

Оля -

Миша -

Надя -

Коля +

Степан -

Ира +

Света

Var 
a,sum,pro:integer;
Begin 
write('Введите трёхзначное положительное число: '); 
readln(a); 
if (a<100) or (a>999) then write('Это не трёхзначное число. Перезапустите программу!') else Begin   
sum:= a mod 10 + a div 10 mod 10 + a div 100;   
pro:= a mod 10 * a div 10 mod 10 * a div 100;   
if (sum>9) and (sum<100) then Writeln('Сумма цифр числа ',a,' - двухзначное число (',sum,')') else Writeln('Сумма цифр числа ',a,' - не двухзначное число (',sum,')');   
if (pro>99) and (pro<1000) then Writeln('Произведение цифр числа ',a,' - трёхзначное число (',pro,')') else Writeln('Произведение цифр числа ',a,' - не трёхзначное число (',pro,')');   
if (sum mod 3) = 0 then write('Эта же сумма (',sum,') кратна трём') else write('Эта сумма (',sum,') не кратна трём'); 
end;
End.  

1)     неА     А         неA ⇒A
          0        1             1
           1        0             0
Данное выражение ложно, когда А-ложно и истинно, когда А истинно.

2)  A  B       B⇒A  или В
     0  0              1
     0  1              1
      1 0               1
     1   1              1      Всегда истинно ( тождественно истинно)
3)  F - данное выражение
A  B  C    A⇒(B⇒C)     (A⇒B) ⇒(A⇒C)     F
0  0    0      1                      1                      1
0  0    1      1                      1                      1
0   1    0     1                      1                       1
0    1   1     1                       1                     1
1    0   0      1                      0                     0
данное выражение не тождественно истинно

8)  P*¬Q  + Q*R + ¬ P*¬Q = ¬Q*(P +¬P) + Q*R = ¬Q +Q*R

7)  X  Y  Z     X*(Y+Z)     XY + XZ
     0    0  0        0                  0
     0    0  1        0                  0
     0     1  0       0                  0                  
     0      1  1      0                  0
     1     0   0       0                 0
     1    0    0       0                  0
      1    0    1      1                  1
      1    1    0      1                  1
       1    1   1       1                  1                   Равенство док-но

A  B     ¬(A +B)    ¬A *¬B
0     0         1            1
0     1         0            0
1    0          0             0
1    1          0            0        Равенство док-но