Question

Что означают эти символы в логических выражениях /, ¬, V? и какие еще бывают символы и что они означают?

Answer 1

 / - это логическое умножение

¬ это отрицание

V - логическое сложение

еще существует СЛЕДОВАНИЕ (обозначается стрелочкой влево)

тождественность (двухстороняя стрелочка)