Какие из приведенных четырёх формул логики предикатов представлены в пренексной нормальной форме (ПНФ) 1. Vx (C(x) & -O(x) ->3y (P(y) & S(x, y ))) 2. 3x Vy (A(x) & C(x) & (S(x, y) v A(y))) 3. Vx (L(x) v A(x) V-O(x)) 4. Vx (A(x)&am... Другие предметы Университет Логика предикатов Новый

Дана формула логики высказываний (A & (B ∨ ¬C)) ⟶ А. Сколько интерпретаций данной формулы существует: Другие предметы Университет Логика высказываний Новый

Введём обозначения для следующих утверждений: Петя принадлежит к нашей компании обозначим (К), Петя весел (В) , На Петю можно положиться (П). Какой фразе на естественном языке соответствует утверждение, представленное в виде формулы логики высказыв... Другие предметы Колледж Логика высказываний Новый