Логическая переменная - это простое высказывание, содержащее только одно (a)   .

Конъюнкция - это логическая операция, ставящая в соответствие двум высказываниям новое высказывание, являющееся (a)   тогда и только тогда, когда оба исходных высказывания истины.

Логическое выражение - это запись (a)   высказывания, поставленная из логических переменных, логических значений, знаков логических операций и скобок.

Инверсия - это логическая операция, ставящая в соответствие высказыванию новое высказывание, значение которого (a)   значению исходного.

Дизъюнкция - это логическая операция, ставящая в соответствие двум высказываниям новое высказывание, являющиеся люжным тогда и только тогда, когда оба исходом высказываний (a)   .

Таблица истинности - это таблица, показываются истинность сложного высказывания при всех возможных (a)   переменной.