comp/work/33/bool


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25

a+b+a+!b
a+b+!b
a+1
1


!(a+b)+(!a+c)
!a.!b + !a+c
!a+!b+c
!(a.b) + c

!d + !(e+!d)
!d + !e.d
!d + !e
!(d.e)

b.(a+!b)
b.a + b.!b
b.a + 0
b.a

(!a+a.b).!b
!a.!b + !b.a.b
!(a+b) + o
!(a+b)