The four valued logic
Plain text version 1998.4
2. extended law from 2-valued logic
3. truth tables of logical connectives
4.Q&A new!!00/04/01
This version tries to use the common symbols to a lot of fonts for next connectives. Truth tables are the same as the text version.
negation -
implication =>
conjunction &
disjunction V
equivalence =
dual implication <=>
Copyright(c) nsmy@elix.com 1998.4 All rights reserved. last update 00/04/01