http://www.hr-portal.ru/pages/hu/logika.php

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
Таблица истинности:
a b a->b !b !a (!b)->(!a)
0 0 1 1 1 1
0 1 1 0 1 1
1 0 0 1 0 0
1 1 1 0 0 1
____^__________^________
a->b |- (!b)->(!a)
спите->мухряете |- (не мухряете)->(не спите)