Правила

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

Приступить

a
высказывание истинно
b
ему соответствует значение логической переменной 1
c
составное высказывание, образованное в результате конъюнкции, истинно
d
истинны входящие в него простые высказывания
e
логические выражения равносильны
f
таблицы истинности совпадают
g
триггер позволяет запоминать, хранить
h
считывать информацию
i
известно количество логических переменных n, количество строк m=2^n
k
количество столбцов = n + количество логических операций
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→b
2. e↔f
3. e→¬f
4. c↔d
5. f→¬a∨e
6. m↔n
7. i∧k→p
8. a→¬p
9. c↔q
10. g∨¬h
ЕСЛИ,ТО,И, НЕ, ИЛИ, ТОЛЬКО ТОГДА, КОГДА


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