Таблица истинности хееелп (x ∨ y) ∧ ¬(y ≡ z) ∧ ¬w. ???|||w|(x ∨ y) ∧ ¬(y ≡ z) ∧ ¬w| _1_|_?_ |_1_| 0|1|
_0_|_1_|_?_| 0|1|
_?_|_1_|_1_| 0|1|
Вместо ? что ставить?
Т.к ∧, значит всё истинно
¬w -истинно, значит w -ложно, т.е. равно 0
¬(y ≡ z) -истинно, значит y ≡ z -ложно, значит они не равны, y≠z, одно и., второе л.
(x ∨ y) -истинно, значит, т. к. дизъюнкция, то истинно одно или оба
Получается, т. к. x≠y, то х это третья колонка, иначе они получаются равны
А как дальше? Что z, что у?
2)
Понятность
Надо сказать, что алгоритм должен быть понятен не только автору, но и исполнителю. Если мы предложим исполнителю, например утюгу постирать одежду, то он никогда этого не сделает, потому, что не поймет, т. к. такой программы в нём не заложено. Или, например, если мы предложим какому-нибудь мальчику испечь торт то у него, как правило, ни чего не получится, потому что этого они делать не умеют. Но если мы составим подробный алгоритм работы, разобьем его на элементарные шаги, такие, что он без труда поймёт и сможет выполнить каждый шаг, то он сможет успешно испечь любой торт. Каждый шаг алгоритма обязательно представляет собой какое-либо допустимое действие исполнителя. Это свойство алгоритма называют понятностью.