71
правка
Изменения
→Логические операции
|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>
|}
