Ádám, A. 1976. An application of truth functions in formalized diagnostics. Acta Cybernetica. 2, 4 (Jan. 1976), 291-298.