Date le seguenti funzioni booleane … (dove consideriamo L – di lettera – segnata)

A = X*Y*Z + X*Y*Z + X*Y*Z + X*Y*Z
B = X*Y*Z + X*Y*Z + X*Y*Z + X*Y*Z

… questo programma vi dimostrerà come è possibile effettuare delle conversioni in tabelle delle verità!

.model tabver01
.inputs x y z
.outputs a b
.names x y z a
110 1
001 1
101 1
111 1
.names x y z b
001 1
100 1
010 1
111 1
.end

Con questa funzione invece…

F (x,y,z,v) = X*Y*Z + X*Y + Y*Z*V + X*V*Y + Y*Z

.model tabver02
.inputs x y z v
.outputs f
.names x y z v f
011- 1
00-- 1
-101 1
10-1 1
-11- 1
.end

Aumentando il grado di difficoltà…

F = A*B*E + C*D + A*C*D
G = D*E + A*B*C + A*C*D
H = A*E +  C*D + A*B
I = G + H
L = A*G + B*C*G + A*E
M = F + I + B*C
N = L + A*I
O = M + A + B*E
X = F
V = O
W = N
Z = L

.model funzhard
.inputs a b c d e
.outputs x v w z

.names a b c d e f
01--1 1
--11- 1
1-01- 1

.names a b c d e g
---11 1
111-- 1
1-01- 1

.names a b c d e h
1---1 1
--11- 1
11--- 1

.names g h i
10 1
01 1
11 1

.names a b c e g l
1---1 1
-11-0 1
1--1- 1

.names b c i f m
---1 1
--1- 1
11-- 1

.names a i l n
--1 1
11- 1

.names a b e m o
---1 1
1--- 1
-11- 1

.names f x
1 1

.names o v
1 1

.names l z
1 1

.names n w
1 1

.end