Что означают эти символы в логических выражениях /\, ¬, V? и какие еще бывают символы и что они означают?
/\ - это логическое умножение
¬ это отрицание
V - логическое сложение
еще существует СЛЕДОВАНИЕ (обозначается стрелочкой влево)
тождественность (двухстороняя стрелочка)