<p fontName="Arial">TruthTable</p>

facb4fb5-bc69-449f-b523-1af5bba78fde 10 4 5 false false 0 decimal

&[DATE] &[TIME] - &[FILENAME]

Convert single letter X' to ¬X. ΛE\032E\ Prime2Not v\0324\ ΛE\032E\ num2str' findstr : (1 - ≡ ΛE\032E\ L\0324\ ΛE\032E\ num2str concat : n\0324\ L\0324\ strlen : 12 mat k\0324\ 1 v\0324\ length range L\0324\ L\0324\ 1 v\0324\ k\0324\ el 2 - substr ¬ L\0324\ v\0324\ k\0324\ el 1 - 1 substr L\0324\ v\0324\ k\0324\ el 1 + n\0324\ v\0324\ k\0324\ el - substr concat : for L\0324\ 1 n\0324\ 1 - substr str2num 31 line if 11 line :

ΛE\032E\ TruthTable L\0324\ ΛE\032E\ Prime2Not : U\0324\ L\0324\ Unknowns : n\0324\ U\0324\ length : r\0324\ 1 n\0324\ range : 14 mat T\0324\ 1 n\0324\ 1 + matrix : T\0324\ r\0324\ el U\0324\ r\0324\ el num2str : T\0324\ n\0324\ 1 + el Ans : 13 mat k\0324\ 12 n\0324\^range v\0324\ k\0324\ 1 - (21 r\0324\ -^* Floor 2 mod vectorize reverse eval : T\0324\ T\0324\ v\0324\ transpose L\0324\ v\0324\ mat2sys at 0 ≠ augment stack eval : 21 line for T\0324\ 41 line :

ΛE\032E\ b2a a\0324\_not a\0324\ num2str strlen 1 ≡ a\0324\ num2str' concat str2num a\0324\ ¬ if 11 line : ΛE\032E\ a\0324\ ¬ a\0324\_not equrep num2str | + strrep & * strrep str2num 21 line :

LE\032E\ a2b LE\032E\ Prime2Not num2str + | strrep * & strrep str2num 11 line :

Example

Use \[REGION[0]]\ or \[REGION[1]]\ in a string

\002A\ and ≡ \002B\ or ≡ \0027\ not ≡ 13 mat

\0026\ and ≡ \007C\ or ≡ \00AC\ not ≡ 13 mat

L A' B * B C' * + B C * + A B' * C' * + :

Λ ¬A&B|B&¬C|B&C|A&¬B&¬C str2num :

L TruthTable A B C Ans 0000001001010111100110101101111194 mat

Λ TruthTable A B C Ans 0000001001010111100110101101111194 mat

Λ b2a B A' C' + C + (* A B' * C' * +

L a2b B C A ¬ | (C ¬ | (& (A B ¬ & (C ¬ & (|

Issue

The precedence of booleans and, or isn't the same than plus, times respect inequalities:

L A B + (2 > : A B + 2 >

but

Λ L num2str + | strrep str2num : A B 2 > (|

Alvaro