Struttura ad Albero che descrive l'Espressione Logica -p -> q v -p

Dublin Core

Title

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

Publisher

The RAND Corporation
The Carnegie Institute of Technology

Date

1956

Rights

The RAND Corporation
The Carnegie Institute of Technology

Format

Png

Language

English

Type

Image

Identifier

Struttura Albero Espressione Logica

Files

Collection

Citation

Allen Newell and Herbert A. Simon, “Struttura ad Albero che descrive l'Espressione Logica -p -> q v -p,” The Source Code Museum, accessed 21 novembre 2024, https://museumofcode.net/items/show/26.