1 - True/False
2 - логическая операция, которая объединяет два высказывания в одно новое, которое будет являться истинным тогда и только тогда, когда оба исходных высказывания ложны.
3 - Конъюнкция
4 - X И Y И Z
5 - OR
6 - 1. Инверсия;
2. Конъюнкция;
3. Дизъюнкция;
4. Импликация;
5. Эквивалентность.
7 - логическая операция, которая преобразует исходное высказывание в новое, значение которого противоположно исходному.
8 - Импликация
9 - логическая операция, которая объединяет два высказывания в одно новое, которое будет являться истинным тогда и только тогда, когда оба исходных высказывания истинны
10 - Конъюнкция
11 - ?
12 - ?
Объяснение:
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 1
Сделаем простое преобразование:
Мы получили конъюнкцию b и выражения в круглых скобках. Она ложна, если ложно хотя бы b в этом выражении. Поищем колонку, в которой всегда стоит ноль, если ноль в колонке F. Это предпоследняя колонка, следовательно она содержит значения для b (ведь в колонке указано значение одной переменной)
? ? b F
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 1
А теперь воспользуемся истинным значением F. F истинно только если истинны одновременно и b, и выражение в скобках. А в скобках находится дизъюнкция с и инверсии a. Дизъюнкция ложна, если ложны оба её компонента, т.е. если ложно с и истинно а (из-за инверсии). Это дает нам комбинацию cabF=0110 или acbF=1010. Находим одну из этих строк: 1010 третья снизу. Следовательно, подписи колонок acbF.
a c b F
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 0
1 1 1 1