149)
151)
153) ((x Ú y) Ú x y) Ú (
Ú x)
154) x y(
Применить закон двойственности к следующим равносильностям:
155) x x º x 156) x Ú 0 º x
157) x y º y x 158) x Ú(y Ú z) º (x Ú y) Ú z
159) º
161) x Ú
Привести к дизъюнктивной нормальной форме (ДНФ):
163)
165) 166)
167)
169)
171)
Привести к конъюнктивной нормальной форме (КНФ):
173) 174)
175)
177)
179)
181)
Приведением к нормальной форме выяснить, какие из формул являются тождественно истинными, тождественно ложными, выполнимы:
183)
185)
187)
189)
190)
191)
Для каждой из следующих формул найти дизъюнктивное и конъюктивное разложение:
192)
194)
196)
198)
200)
Привести к совершенной ДНФ (СДНФ) следующие формулы:
201)
203)
205)
207)
Привести к совершенной КНФ (СКНФ) следующие формулы:
209)
211)
213)
215)
217)
Приведением к совершенным нормальным формам доказать не равносильность
следующих формул:
219)
220)
221)
222)
223)
224)
225)
226)
227)
228)
Следующие формулы разложить по переменным x, y, z:
229)
232)