Законы логики высказываний и способы построения формул по таблице истинности Сам Высказывания логические операции таблицы истинности