Урок III. Построение таблиц истинности.   Построение таблиц истинности является первой и основополагающей задачей студента, который впервые знакомится с логикой. Таблицы истинности строятся для логики высказываний. Эти таблицы автоматизированы в том смысле, что их результат зависит от алгоритмических действий. Читатель может зайти на множество сайтов, где представлены он-лайн калькуляторы для подобных исчислений. Однако мастерство создавать … Читать далее III. Построение таблиц истинности