Значком /\ обозначена логическая операция И, значком \/ - логическая операция ИЛИ, значком ¬ - логическая операция НЕ, значком → - логическая операция следования
Выражение
p /\ (x-1 < y) \/ ¬(x >= y)
истинно при ..
1) x=7, y=6, p=false
2) x=7, y=6, p=true
3) x=7, y=7, p=false
4) x=4, y=6, p=true