Основы логики: примеры дизъюнктивной нормальной формы