Изменения

Перейти к: навигация, поиск

Неполные данные и null

2350 байт добавлено, 13:59, 20 декабря 2021
Логические операции
|style="background-color:#FFF;padding:2px 30px"| <tex>false</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>unknown</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>true</tex>
|}
 
===== Импликация =====
* A → B = (not A) or B
{| style="background-color:#CCC;margin-left:2rem;text-align:center"
!style="background-color:#EEE;color:#00F"| <tex>\bf{(not\ A)\ or\ B}</tex>
!style="background-color:#EEE"| <tex>\bf{true}</tex>
!style="background-color:#EEE"| <tex>\bf{unknown}</tex>
!style="background-color:#EEE"| <tex>\bf{false}</tex>
|-
|style="background-color:#EEE;padding:2px 30px"| <tex>\bf{true}</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>true</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>unknown</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>false</tex>
|-
|style="background-color:#EEE;padding:2px 30px"| <tex>\bf{unknown}</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>true</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>unknown</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>unknown</tex>
|-
|style="background-color:#EEE;padding:2px 30px"| <tex>\bf{false}</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>true</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>true</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>true</tex>
|}
 
* A → B = not (A and not B)
{| style="background-color:#CCC;margin-left:2rem;text-align:center"
!style="background-color:#EEE;color:#00F"| <tex>\bf{not\ (A\ and\ not\ B)}</tex>
!style="background-color:#EEE"| <tex>\bf{true}</tex>
!style="background-color:#EEE"| <tex>\bf{unknown}</tex>
!style="background-color:#EEE"| <tex>\bf{false}</tex>
|-
|style="background-color:#EEE;padding:2px 30px"| <tex>\bf{true}</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>true</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>unknown</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>false</tex>
|-
|style="background-color:#EEE;padding:2px 30px"| <tex>\bf{unknown}</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>true</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>unknown</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>unknown</tex>
|-
|style="background-color:#EEE;padding:2px 30px"| <tex>\bf{false}</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>true</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>true</tex>
|style="background-color:#FFF;padding:2px 30px"| <tex>true</tex>
|}
71
правка

Навигация