Jump to content

implication as a composition of OR and NOT Z10345
Implementation

From Wikifunctions