二値論理にちろんり<に'ち>･ろん'り3

Math.zweiwertige LogikBinärlogik