Пропозициональная логика: высказывания, логические связки, операции над утверждениями, методы анализа их истинности.
Нажмите рядом со статьёй — скопируете ссылку для списка литературы по ГОСТ.