Семантика логических связок

Отрицание. Конъюнкция. Две дизъюнкции. Импликация. Таблицы истинности для сложных формул. Равносильные формулы. Цитаты по книге: Логика: учебник для бакалавров. – Москва: Проспект, 2015