§2. Формулы.

117. Формулы, с помощью которых можно задавать булевы функции называются

1. Формулы алгебры логики высказываний;

2. Произвольными формулами.

3. Алгоритм Квайна.

4. Равносильными.

118. Каждая булева переменная может принимать значения

1. 0.

2. 1.

3. 0 или 1;

4. Произвольные.

119. Формулы являются

1. Аналитической записью булевых функций;

2. Табличной записью булевых функции.

3. Двойственной записью булевых функции.

4. Нет правильных ответов.

120. Истинность значений формул можно определить с помощью

1. Таблиц истинности;

2. Элементарных вычислении.

3. Значения формул всегда ложны.

4. Нет правильных ответов.

121. Метод построения таблиц истинности

1. Алгоритм Квайнера;

2. Табличный метод.

3. Аналитический метод.

4. Нет правильных ответов.

122. Заглавные буквы латинского алфавита (А, В, С, …) или те же буквы с числовыми индексами (А₁, А₂, …, В₁, В₂, …, С₁, С₂, …) употребляются для обозначения

1. произвольных множеств.

2. произвольных функций.

3. произвольных элементов.

4. произвольных формул;

§3. Упрощения в записях формул.

123. Сколько всего соглашений о более экономном употреблении скобок в записях формул?

1. 1.

2. 2.

3. 3;

4. 4.

124. Если формула содержит вхождения только одной бинарной связки или , то для каждого вхождения этой связки опускаются внешние скобки у той

1. из одной формулы (соединяемых этим вхождением) которая стоит слева.

2. из двух формул(соединяемых этим вхождением) которая стоит слева;

3. из трех формул(соединяемых этим вхождением) которая стоит слева.

4. из четырех формул(соединяемых этим вхождением) которая стоит слева.

125. Для каких операций не указаны порядки их выполнения, поэтому последовательность их выполнения устанавливается с помощью скобок

1. .

2. .

3. .

4. ;

§4. Равносильность формул.

126. Формулы а и в называются равносильными

1. Если при каждом совокупности значений всех переменных, входящих в А и В, эти формулы принимают одинаковые значения;

2. Если при каждом совокупности значений всех переменных, входящих в А и В, эти формулы принимают различные значения.

3. Если при каждом совокупности значений всех переменных, входящих в А и В, эти формулы выполнимы.

4. Нет правильных отвнтовю.

127. Отношение равносильности формул, обладает

1. Равносильностью.

2. Симметричностью.

3. Транзитивность.

4. Всеми перечисленными свойствами;

128. Отношение равносильности является отношением

1. частичного порядка.

2. порядка.

3. эквивалентности;

4. строгого порядка

129. Формула, тождественной равная единице, называют

1. Тавтологией;

2. Противоречием.

3. Выполнимой.

4. Истинной.

130. Формулу, тождественно равная нулю, называют

1. Тавтологией.

2. Противоречием;

3. Выполнимой.

4. Истинной.

131. Формулы А и В равносильны тогда и только тогда, когда А В является

1. Тавтологией;

2. Противоречием.

3. Выполнимой.

4. Истинной.

132. Если формула принимает значения 1 хотя бы для одной совокупности значений переменных, в нее входящих, то она называется

1. Тавтологией.

2. Противоречием.

3. Выполнимой;

4. Истинной.

§5. Важнейшие пары равносильных формул.

133. Сколько всего законов равносильности форму?

1. 3.

2. 6.

3. 15.

4. 20;

134. Выберите закон коммутативности

2. 

3. 

4. 

135. Выберите закон ассоциативности

2. 

136. Выберите первый закон дистрибутивности

3. 

137. Выберите второй закон дистрибутивности.

4. 

138. Выберите закон идемпотентности

3.