Элементарные и нормальные формы

131. Задание {{ 45 }} ТЗ 45 Тема 3-19-0

Конъюнкция элементарных дизъюнкций называется ...

R конъюнктивно нормальной формой;

£ дизъюнктивно нормальной формой;

£ элементарной дизъюнкцией;

£ элементарной конъюнкцией.

132. Задание {{ 46 }} ТЗ 46 Тема 3-19-0

Дизъюнкция элементарных конъюнкций называется ...

£ конъюнктивно нормальной формой;

R дизъюнктивно нормальной формой;

£ элементарной дизъюнкцией;

£ элементарной конъюнкцией.

133. Задание {{ 47 }} ТЗ 47 Тема 3-19-0

Отдельно взятое высказывание или конъюнкция отдельно взятых высказываний называется ...

£ конъюнктивно нормальной формой;

£ дизъюнктивно нормальной формой;

£ элементарной дизъюнкцией;

R элементарной конъюнкцией.

134. Задание {{ 48 }} ТЗ 48 Тема 3-19-0

Отдельно взятое высказывание или дизъюнкция отдельно взятых высказываний называется ...

£ конъюнктивно нормальной формой;

£ дизъюнктивно нормальной формой;

R элементарной дизъюнкцией;

£ элементарной конъюнкцией.

135. Задание {{ 49 }} ТЗ 49 Тема 3-19-0

Элементарная конъюнкция тождественно ложно тогда и только тогда, когда ...

£ она не содержит хорошую пару;

£ каждая элементарная дизъюнкция этой формы содержит хорошую пару;

£ она содержит отрицание высказывания;

R она содержит хорошую пару.

136. Задание {{ 50 }} ТЗ 50 Тема 3-19-0

Элементарная дизъюнкция тождественно истинно тогда и только тогда, когда ...

£ она не содержит хорошую пару;

£ каждая элементарная конъюнкция этой формы содержит хорошую пару;

£ она содержит отрицание высказывания;

R она содержит хорошую пару.

137. Задание {{ 51 }} ТЗ 51 Тема 3-19-0

КНФ тождественно истинно тогда и только тогда, когда ...

£ она не содержит хорошую пару;

R каждая элементарная дизъюнкция этой формы содержит хорошую пару;

£ каждая элементарная конъюнкция этой формы содержит хорошую пару;

£ она содержит хорошую пару.

138. Задание {{ 52 }} ТЗ 52 Тема 3-19-0

ДНФ тождественно ложно тогда и только тогда, когда ...

£ она не содержит хорошую пару;

£ каждая элементарная дизъюнкция этой формы содержит хорошую пару;

R каждая элементарная конъюнкция этой формы содержит хорошую пару;

£ она содержит хорошую пару.

139. Задание {{ 220 }} ТЗ № 220

Всякую Булевую функция можно представить булевыми формулами , а именно

£

R

£

£

140. Задание {{ 221 }} ТЗ № 221

Функция принимающее значение и область определения, которого состоит из множества высказываний, называется

£ формулой в исчислении высказываний

£ предикатом

R булевой функцией

£ алгеброй Буля