Так как написана программа, в лучшем случае будет найдено только одно слово, должны быть вложенные циклы.
Решение (немного исправленное) в прикрепленном файле.
Ввод - вывод программы:
vvedite text:
<span>it's a text for check programm abcdefgh hgfe pqrstu srqp.
</span>word = for
<span>word = abcdefgh
</span><span>word = hgfe
</span><span>word = pqrstu
</span><span>word = srqp
</span><span>
</span>
1. (A ∧ ¬B) ∨ (¬A ∧ B)
1. ( (A ∧ ¬B) ∨ ¬A) ∧ ( (A ∧ ¬B) ∨ B) - <em>по закону дистрибутивности</em>;
2. ( (A ∨ ¬A) ∧ (¬B ∨ A) ) ∧ ( (B ∨ A) ∧ (¬B ∨ B) - <em>по закону дистрибутивности</em>;
3. (1 ∧ (¬B ∨ A)) ∧ ( (B ∨ A) ∧ 1) - <em>по закону исключения третьего</em>;
4. (¬B ∨ A) ∧ (B ∨ A) = A - <em>по закону исключения (склеивания)</em>.
2. ¬(A ∨ ¬B)
¬(A ∨ ¬B) = ¬A ∧ B - <em>по закону де Моргана</em>.
3. A ∧ ¬B ∨ C
A ∧ ¬B ∨ C = (C ∨ A) ∧ (C ∧ ¬B) - <em>по закону дистрибутивности</em>.
<span>A[ 5, 1 ]
============================================</span>