Применим для решения этой же задачи преобразования с помощью законов алгебры логики:
( I˅P→S) &( I→S)=((I˅P)˅S) & (I˅S) =
= (I & P ˅S) &(I ˅S) = I&P˅ I & S˅ I &P &S ˅0=
= I&P ˅ I & S =I & (P˅S)
Из последнего выражения видно, что выражение верно, если I=1, значит преступник - Иванов.
( I˅P→S) &( I→S)=((I˅P)˅S) & (I˅S) =
= (I & P ˅S) &(I ˅S) = I&P˅ I & S˅ I &P &S ˅0=
= I&P ˅ I & S =I & (P˅S)
Из последнего выражения видно, что выражение верно, если I=1, значит преступник - Иванов.