Логические основы устройства компьютера
...описывать так называемыми таблицами истинности, в которых отражают результаты вычислений сложных высказываний при различных значениях исходных простых высказываний . Простые высказывания обозначаются переменными (например, A и B). (1, с. 125).