Правила

1. Нажмите кнопку «Приступить».
2. На экране список высказываний. Они обозначены буквами. Справа таблица с формулами знаний.
Внизу белое поле, где собирается составное высказывание. Над ним логические связки.
3. С помощью первой формулы соберите составное высказывание. Для этого нажимайте на буквы из списка и на связки.
4. В соответствии с формулой выберите логические связки и расположите на поле все части составного высказывания. Самостоятельно расставьте знаки препинания.
5. Определите, истинно или ложно полученное высказывание. Запишите в таблицу соответственно 1 или 0.
6. Перед переходом к следующей формуле очистите поле для построения связок, нажав на кнопку 'Очистить'.
5. Нажмите на кнопку «Посмотреть результат».

Приступить

a
Одно и то же высказывание в выражении одновременно и истинно, и ложно,
b
Результатом операции антиконъюнкции для высказывания А|Вбудет ложь
c
оба высказывания ложны.
d
истинны одновременно оба высказывания
e
Результатом операции дизъюнкции для высказывания АvВбудет истина
f
Одно высказывание отрицается дважды,
g
результатом выражение будет ложь:
h
Результатом операции антидизъюнкции для высказываний А и В будет истина
i
Результатом операции эквиваленции для высказывания А~Вбудет истина
k
Две формулы булевой алгебры равносильны
m
истинно будет хотя бы одно из исходных выражений.
n
результатом будет исходное высказывание.
p
равны сопоставляемые им функции
q
Результатом операции конъюнкции для высказываний А и В будет истина
Формулы знаний Истинно (1) или ложно (0)
Пояснения

¬a НЕ а

a ∧ b a И b

a ∨ b a ИЛИ b

a → b ЕСЛИ a, ТО b

a ↔ b a ТОЛЬКО ТОГДА, КОГДА b
1. a→g
2. f→¬n
3. g↔d
4. h→c
5. e↔f∧d
6. i↔c∨d
7. k→¬p
8. b→d
9. e↔m
10. b→a
ЕСЛИ,ТО,И, НЕ, ИЛИ, ТОЛЬКО ТОГДА, КОГДА


Посмотреть результат
Правила
Очистить