Ternary logic: Difference between revisions
Content added Content deleted
Langurmonkey (talk | contribs) |
Langurmonkey (talk | contribs) |
||
Line 3,490: | Line 3,490: | ||
writeln "a not a" |
writeln "a not a" |
||
for .a in .trSet { |
for .a in .trSet { |
||
writeln $"\.a: |
writeln $"\.a:fn F; \(not? .a:fn F)" |
||
} |
} |
||
Line 3,496: | Line 3,496: | ||
for .a in .trSet { |
for .a in .trSet { |
||
for .b in .trSet { |
for .b in .trSet { |
||
writeln $"\.a: |
writeln $"\.a:fn F; \.b:fn F; \.and(.a, .b):fn F;" |
||
} |
} |
||
} |
} |
||
Line 3,503: | Line 3,503: | ||
for .a in .trSet { |
for .a in .trSet { |
||
for .b in .trSet { |
for .b in .trSet { |
||
writeln $"\.a: |
writeln $"\.a:fn F; \.b:fn F; \.or(.a, .b):fn F;" |
||
} |
} |
||
} |
} |
||
Line 3,510: | Line 3,510: | ||
for .a in .trSet { |
for .a in .trSet { |
||
for .b in .trSet { |
for .b in .trSet { |
||
writeln $"\.a: |
writeln $"\.a:fn F; \.b:fn F; \.imply(.a, .b):fn F;" |
||
} |
} |
||
} |
} |
||
Line 3,517: | Line 3,517: | ||
for .a in .trSet { |
for .a in .trSet { |
||
for .b in .trSet { |
for .b in .trSet { |
||
writeln $"\.a: |
writeln $"\.a:fn F; \.b:fn F; \.a ==? .b:fn F;" |
||
} |
} |
||
} |
|||
</syntaxhighlight> |
|||
{{out}} |
{{out}} |