Импликация - логическая функция:
Логическая функция двух аргументов имеет 4 возможных набора аргументов:
Логические задачи обычно формулируются на формализованном языке:
Логические операции реализуют три базовых логических элемента:
Логическое равенство и эквивалентность - одно и то же:
Может высказывание быть одновременно истинным и ложным:
Отличается операция логического следования от обычного понимания слова "следует":
Отражают законы логики наиболее важные закономерности логического мышления:
Совпадают идеи построения полного сумматора и полусумматора:
Сумматоры - главная часть процессора:
Утверждение: "Составное высказывание, образованное с помощью логической операции эквивалентности истинно тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны" верно: