Logical operations

AND node implements logic AND function (conjuction) that can be desribed by the followsing table: | in1 in2 | out | | 0 0 | 0 | | 0 1 | 0 | | 1 0 | 0 | | 1 1 | 1 |

OR node implements logic OR function (disjunction) that can be desribed by the followsing table: | in1 in2 | out | | 0 0 | 0 | | 0 1 | 1 | | 1 0 | 1 | | 1 1 | 1 |

IMPY node implements implication function that can be desribed by the followsing table: | in1 in2 | out | | 0 0 | 1 | | 0 1 | 1 | | 1 0 | 0 | | 1 1 | 1 |

NOT node implements negation function that can be desribed by the followsing table: | in | out | | 0 | 1 | | 1 | 0 |