Таблица истинности — это таблица, которая показывает все возможные комбинации значений входных переменных (обычно это "правда" или "ложь", или 1 и 0) и результат логического выражения для каждой из этих комбинаций...

В программировании и реальной жизни полно ситуаций, при которых нет никакой необходимости вникать в глубины решаемых задач. Все ясно при первом же рассмотрении темы. Но случается и так, что требуется подтвердить или опровергнуть выражение. Здесь в силу вступает так называемая логика высказываний. Соответствующий момент играет важную роль не только в жизни, но и в науках. Пример – математика, программирование, психология. Можно использовать разнообразную логику высказываний для подтверждения и опровержения результатов...