Если A и B - полные наборы булевых функций, то для любой функции:

вопрос

Правильный ответ:

Оставить комментарий

Отправить

• # Тавтологией является формула (A,B - формулы):
• # Из выводимости "Сколемовской нормальной формы", выводимость формулы:
• # Теория сигнатуры с равенством имеет нормальную модель тогда и только тогда, когда:
• # Теория Т - П1 аксиоматизируема, если существуют П1-формулы,из которых:
• # Общезначима формула: