Урок VII. Семантические таблицы.   Существует еще один эффективный способ проверки формул на истинность и ложность – построение семантических таблиц или таблиц Бэта (в честь Эверта Бэта – создателя данного метода). Считается, семантические таблицы не работают там, где необходимо проанализировать формулы, содержащие знаки эквивалентности и строгой дизъюнкции. Это действительно так. Но кто нам мешает путём … Читать далее VII. Семантические таблицы