Могут ли две релейно-контактные схемы, соответствующие одной и той же функции проводимости, иметь различное число реле?

а) да;

б) нет;

в) никогда не могут.

25. Имеем формулу b, выводимую из формул , т.е. . Являются ли выводимыми формулы ?

а) да;

б) нет;

в) некоторые из них выводимы, некоторые нет.

Если формула b выводима из аксиом исчисления высказываний, какой она является как формула алгебры высказываний?

а) b тождественно истинной;

б) b тождественно ложной;

в) b – переменное высказывание.

Является ли противоречивым некоторое исчисление (формальная аксиоматическая система), если оно имеет некоторую содержательную интерпретацию?

а) противоречиво;

б) непротиворечиво;

в) может быть и тот, и другой вариант.