Not[True]

Not[False]

a = ! 1 == 2

Not[! 1 == 2]

And[True]

And[False]

And[True, True, True, False]

And[1 + 1 == 2, 2*2 == 4, a + b == b + a, 
      1 == 2]

And[1 == 1, 5, auto, {1, 5}, 1 + 1 == 3]

And[1 == 1, auto]

1 == 1 && 5 && auto && {1, 5} && 1 + 1 == 3

Or[True]

Or[True, False]

Or[True, elektroenergetika]

Or[elektroenergetika, False]

Or[False, elektroenergetika, teorieobvodu]

Or[a, b, c] == a || b || c

Xor[True]

Xor[True, False]

Xor[False]

Xor[True, True, True]

Implies[True, False]

Implies[True, True]

Implies[False, False]