Struttura ad Albero che descrive l'Espressione Logica -p -> q v -p
Subject
Utilizzo di una struttura ad albero per descrivere un'espressione logica
Description
Struttura ad albero che descrive l'espressione logica -p -> q v -p, ossia ((not-p) implica (q or not-p)). Essa consiste negli elementi -p, ->, q, V, -p, indicati con i rettangoli
Creator
Allen Newell
Herbert A. Simon
Source
The Logic Theory Machine A Complex Information Processing System