Таблиці істинності: відмінності між версіями

[неперевірена версія][неперевірена версія]
Вилучено вміст Додано вміст
WikitanvirBot (обговорення | внесок)
м r2.7.1) (робот додав: si:සත්‍යතා වගුව
Рядок 71:
| 1 || 1 || 0 || 1 || 1
|}
З даної таблиці одржуємоодержуємо, що вираз <math>~ p \to q</math> є еквівалентним <math>~ \neg p \ \lor \ q</math>.
 
За допомогою таблиць істинності можна доволі просто довести. що деякі формули є [[тавтологія]]ми тобто приймають значення «Істина» при будь-яких значеннях аргументів. Наприклад: