Логика и алгебра высказываний Формула строк в таблице истинности