Логические операции php Таблицы истинности логических функций формулы