a,b : boolean.
a=true.
Для всех[ t2 : boolean ]
[ true&t2 ] => [ t2 ] ("конъюнкция с истинной слева").
Для всех[ t2 : boolean ]
[ t2&true ] => [ t2 ] ("конъюнкция с истинной справа").
Для всех[ t2 : boolean ]
[ false&t2 ] => [ false ] ("конъюнкция с ложью слева").
Для всех[ t2 : boolean ]
[ t2& false ] => [ false ] ("конъюнкция с ложью справа").
Для всех[ t2 : boolean ]
[ true V t2 ] => [ true ] ("дизъюнкция с истинной слева").
Для всех[ t2 : boolean ]
[ t2 V true ] => [ true ] ("дизъюнкция с истинной справа").
Для всех[ t : boolean ]
[ false V t ] => [ t ] ("дизъюнкция с ложью слева").
Для всех[ t : boolean ]
[ t V false ] => [ t ] ("дизъюнкция с ложью справа").
Для всех[ t : boolean ]
[ t&t ] => [ t ] ("идемпотентность конъюнкции").
Для всех[ t : boolean ]
[ t V t ] => [ t ] ("идемпотентность дизъюнкции").
/*Чему равно a&b V b&a &b?*/.
