Логические операции php Доказать тождество с помощью таблицы истинности