Логические операции php Алгебра логики составление таблиц истинности